﻿<html>
	<body>
	<?php
	if (!isset($_GET['file'])) {
		echo '<center><form name="form" action="source.php" method="get">' .
		     'Podaj nazwę pliku: <input type="text" name="file" /><br />' .
			 '<input type="submit" value="Wyślij" />' .
		     '</form></center>';
	} else {	
		highlight_file($_GET['file']);
	}
	?>
	</body>
</html>
